$\forall$$a$, $b$:$\mathbb{Z}$. imax($a$;$b$) $\in$ $\mathbb{Z}$